{profiles,
 [
  {test, [
          {deps,
           [
            {proper, {git, "https://github.com/proper-testing/proper.git", {branch, "master"}}}
           ]}
         ]}
 ]}.

{escript_emu_args, "%%! -escript main gradualizer_cli\n"}.
